Rueher, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || Combining Forces to Solve the Car Sequencing Problem

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 174 KB

english, 2004

2

CPBPV: a constraint-programming framework for bounded program verification

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck

Journal:

Year:

2010

Language:

english

File:

PDF, 984 KB

english, 2010

3

Structured rapid prototyping — an evolutionary approach to software development: J L Connel and L B Shafer Prentice Hall, Englewood Cliffs, NJ, USA (1989) 299 pp £39.60 softback

Journal:

Information and Software Technology

Year:

1990

Language:

english

File:

PDF, 109 KB

english, 1990

4

Improved filtering for weighted circuit constraints

Pascal Benchimol, Willem-Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher

Journal:

Year:

2012

Language:

english

File:

PDF, 515 KB

english, 2012

5

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 ||

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 5.00 MB

english, 2004

6

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || SIMPL: A System for Integrating Optimization Techniques

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

7

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || Super Solutions in Constraint Programming

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 314 KB

english, 2004

8

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || Using MILP and CP for the Scheduling of Batch Chemical Processes

Régin, Jean-Charles, Rueher, Michel

Year:

2004

File:

PDF, 361 KB

2004

9

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 9892 || Four-Bar Linkage Synthesis Using Non-convex Optimization

Year:

2016

Language:

english

File:

PDF, 1.41 MB

english, 2016

10

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 9892 || Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization

Year:

2016

Language:

english

File:

PDF, 2.41 MB

english, 2016

11

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 313 KB

english, 2004

12

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 9892 || Constraining Redundancy to Improve Protein Docking

Year:

2016

Language:

english

File:

PDF, 387 KB

english, 2016

13

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || Generating Benders Cuts for a General Class of Integer Programming Problems

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 233 KB

english, 2004

14

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 3011 || A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times

Régin, Jean-Charles, Rueher, Michel

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

15

A scheme for the realization of graphical computer aided design systems

Denis Vandorpe, Michel Rueher

Journal:

Computers in Industry

Year:

1983

Language:

english

File:

PDF, 855 KB

english, 1983

16

An efficient and safe framework for solving optimization problems

Yahia Lebbah, Claude Michel, Michel Rueher

Journal:

Journal of Computational and Applied Mathematics

Year:

2007

Language:

english

File:

PDF, 203 KB

english, 2007

17

Separation of cis/trans isomers of 1,4-disubstituted cyclohexanes and of Z/E-monounsaturated fatty acid methyl esters by gas—liquid chromatography on novel liquid crystal phases

G. Oesterhelt, P. Marugg, R. Rueher, A. Germann

Journal:

Journal of Chromatography A

Year:

1982

Language:

english

File:

PDF, 415 KB

english, 1982

18

Dynamic optimization of interval narrowing algorithms

Olivier Lhomme, Arnaud Gotlieb, Michel Rueher

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 265 KB

english, 1998

19

A Rigorous Global Filtering Algorithm for Quadratic Constraints*

Yahia Lebbah, Claude Michel, Michel Rueher

Journal:

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

20

Efficient handling of universally quantified inequalities

Alexandre Goldsztejn, Claude Michel, Michel Rueher

Journal:

Year:

2009

Language:

english

File:

PDF, 503 KB

english, 2009

21

Reliable Computations and Their Applications (RCA) Track

Martine Ceberio, Vladik Kreinovich, Michel Rueher

Journal:

Reliable Computing

Year:

2005

Language:

english

File:

PDF, 605 KB

english, 2005

22

Comparing Partial Consistencies

Hélène Collavizza, François Delobel, Michel Rueher

Journal:

Reliable Computing

Year:

1999

File:

PDF, 532 KB

1999

23

Concurrent Cooperating Solvers over Reals

Michel Rueher, Christine Solnon

Journal:

Reliable Computing

Year:

1997

Language:

english

File:

PDF, 53 KB

english, 1997

24

A first exploration of PrologIII's capabilities

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.30 MB

english, 1993

25

VLP: a visual logic programming language

Didier Ladret, Michel Rueher

Journal:

Journal of Visual Languages & Computing

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

26

Constraint-based BMC: a backjumping strategy

Collavizza, Hélène, Le Vinh, Nguyen, Ponsini, Olivier, Rueher, Michel, Rollet, Antoine

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.89 MB

english, 2014

27

Verifying floating-point programs with constraint programming and abstract interpretation techniques

Ponsini, Olivier, Michel, Claude, Rueher, Michel

Journal:

Automated Software Engineering

Year:

2016

Language:

english

File:

PDF, 974 KB

english, 2016

28

Automatic test data generation using constraint solving techniques

Gotlieb, Arnaud, Botella, Bernard, Rueher, Michel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 822 KB

english, 1998

29

[IEEE 'Support for the Software Process'.,6th International Software Process Workshop - Hakodate, Japan (28-31 October 1990)] 'Support for the Software Process'.,Proceedings of the 6th International Software Process Workshop - Formalizing Operations And Relationships On Objects To Support Dynamic Refinement Of Process Models Instances

Year:

1990

Language:

english

File:

PDF, 409 KB

english, 1990

30

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs

Ponsini, Olivier, Michel, Claude, Rueher, Michel

Year:

2012

Language:

english

File:

PDF, 115 KB

english, 2012

31

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

Lebbah, Yahia, Michel, Claude, Rueher, Michel, Daney, David, Merlet, Jean-Pierre

Journal:

SIAM Journal on Numerical Analysis

Year:

2005

Language:

english

File:

PDF, 280 KB

english, 2005

32

[IEEE Comput. Soc. Press Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - New Orleans, LA, USA (6-9 Nov. 1994)] Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 - Solving constraints over the reals-a multi-solver approach

Marti, P., Rueher, M.

Year:

1994

Language:

english

File:

PDF, 596 KB

english, 1994

33

[IEEE 2009 IEEE International Conference on Robotics and Automation (ICRA) - Kobe (2009.05.12-2009.05.17)] 2009 IEEE International Conference on Robotics and Automation - Time-minimal path planning in dynamic current fields

Soulignac, M., Taillibert, P., Rueher, M.

Year:

2009

Language:

english

File:

PDF, 384 KB

english, 2009

34

[IEEE 2010 IEEE 26th International Conference on Software Maintenance (ICSM) - Timi oara, Romania (2010.09.12-2010.09.18)] 2010 IEEE International Conference on Software Maintenance - Automatic verification of loop invariants

Ponsini, Olivier, Collavizza, Helene, Fedele, Carine, Michel, Claude, Rueher, Michel

Year:

2010

Language:

english

File:

PDF, 197 KB

english, 2010

35

[IEEE 2008 IEEE International Conference on Robotics and Automation (ICRA) - Pasadena, CA, USA (2008.05.19-2008.05.23)] 2008 IEEE International Conference on Robotics and Automation - Adapting the wavefront expansion in presence of strong currents

Soulignac, Michael, Taillibert, Patrick, Rueher, Michel

Year:

2008

Language:

english

File:

PDF, 262 KB

english, 2008

36

Capturing software processes through the generated objects

Rueher, M., Ladret, D., Legeard, B.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1989

Language:

english

File:

PDF, 402 KB

english, 1989

37

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Using constraint techniques for a safe and fast implementation of optimality-based reduction

Lebbah, Yahia, Michel, Claude, Rueher, Michel

Year:

2007

Language:

english

File:

PDF, 263 KB

english, 2007

38

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - A dynamic constraint-based BMC strategy for generating counterexamples

Collavizza, Hélène, Vinh, Nguyen Le, Rueher, Michel, Devulder, Samuel, Gueguen, Thierry

Year:

2011

Language:

english

File:

PDF, 625 KB

english, 2011

39

[ACM Press the 6th International Workshop - Hyderabad, India (2014.05.31-2014.05.31)] Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014 - Generating test cases inside suspicious intervals for floating-point number programs

Collavizza, Hélène, Michel, Claude, Ponsini, Olivier, Rueher, Michel

Year:

2014

Language:

english

File:

PDF, 319 KB

english, 2014

40

[ACM Press ACM SIGSOFT international symposium - Clearwater Beach, Florida, United States (1998.03.02-1998.03.04)] Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 - Automatic test data generation using constraint solving techniques

Gotlieb, Arnaud, Botella, Bernard, Rueher, Michel

Year:

1998

Language:

english

File:

PDF, 822 KB

english, 1998

41

[ACM Press the 4th international software process workshop - Devon, United Kingdom (1988..-..)] Proceedings of the 4th international software process workshop on Representing and enacting the software process - - Capturing software processes through the generated objects

Rueher, M., Ladret, D., Legeard, B.

Year:

1988

Language:

english

File:

PDF, 402 KB

english, 1988

42

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Editorial

Ceberio, Martine, Kreinovich, Vladik, ESSI, Michel Rueher

Year:

2005

Language:

english

File:

PDF, 93 KB

english, 2005

43

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - LocFaults

Bekkouche, Mohammed, Collavizza, Hélène, Rueher, Michel

Year:

2015

Language:

english

File:

PDF, 974 KB

english, 2015

44

A DISTRIBUTED COOPERATING CONSTRAINTS SOLVING SYSTEM

MARTI, PHILIPPE, RUEHER, MICHEL

Journal:

International Journal of Artificial Intelligence Tools

Year:

1995

Language:

english

File:

PDF, 893 KB

english, 1995

45

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Editorial

Ceberio, Martine, Kreinovich, Vladik, Rueher, Michel

Year:

2006

Language:

english

File:

PDF, 107 KB

english, 2006

46

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - An efficient algorithm for a sharp approximation of universally quantified inequalities

Goldsztejn, A., Michel, C., Rueher, M.

Year:

2008

Language:

english

File:

PDF, 222 KB

english, 2008

47

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems

Yahia Lebbah, Claude Michel, Michel Rueher, David Daney and Jean-Pierre Merlet

Journal:

SIAM Journal on Numerical Analysis

Year:

2005

Language:

english

File:

PDF, 642 KB

english, 2005

48

[IEEE Comput. Soc. Press Twenty-Third Annual Hawaii International Conference on System Sciences - Kailua-Kona, HI, USA (2-5 Jan. 1990)] Twenty-Third Annual Hawaii International Conference on System Sciences - Using objects evolution for software processes representation

Rueher, M., Michel, C.

Year:

1990

Language:

english

File:

PDF, 745 KB

english, 1990

49

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 9892 ||

Year:

2016

Language:

english

File:

PDF, 48.31 MB

english, 2016

50

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming Volume 9892 || On Incremental Core-Guided MaxSAT Solving

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016